python efficiently append to list